colour(blue0) :- #1.
colour(cyan0) :- #1.
colour(green0) :- #1.
colour(red0) :- #1.
colour(yellow0) :- #1.
link(1, 8) :- #0.96.
link(1, 16) :- #0.52.
link(1, 29) :- #0.8.
link(1, 34) :- #0.9.
link(1, 54) :- #0.88.
link(1, 64) :- #0.72.
link(1, 112) :- #0.54.
link(1, 124) :- #0.44.
link(1, 150) :- #0.96.
link(2, 22) :- #0.44.
link(2, 29) :- #0.44.
link(2, 39) :- #0.94.
link(2, 50) :- #0.56.
link(2, 59) :- #0.5.
link(2, 62) :- #0.64.
link(2, 70) :- #0.78.
link(2, 71) :- #0.12.
link(2, 95) :- #0.48.
link(2, 97) :- #0.62.
link(2, 99) :- #0.6.
link(2, 121) :- #0.6.
link(2, 138) :- #0.78.
link(2, 142) :- #0.02.
link(2, 146) :- #0.06.
link(3, 7) :- #0.36.
link(3, 11) :- #0.88.
link(3, 30) :- #0.1.
link(3, 53) :- #0.92.
link(3, 61) :- #0.96.
link(3, 67) :- #0.54.
link(3, 69) :- #0.22.
link(3, 94) :- #0.52.
link(3, 103) :- #0.56.
link(3, 115) :- #0.56.
link(3, 140) :- #0.42.
link(3, 146) :- #0.46.
link(4, 8) :- #0.8.
link(4, 9) :- #0.56.
link(4, 33) :- #0.6.
link(4, 40) :- #1.
link(4, 60) :- #0.18.
link(4, 63) :- #0.64.
link(4, 69) :- #0.46.
link(4, 79) :- #0.76.
link(4, 82) :- #0.96.
link(4, 97) :- #0.42.
link(4, 101) :- #0.5.
link(4, 116) :- #0.44.
link(4, 122) :- #0.5.
link(4, 126) :- #0.68.
link(4, 137) :- #0.4.
link(5, 15) :- #0.94.
link(5, 21) :- #0.38.
link(5, 43) :- #0.42.
link(5, 57) :- #0.72.
link(5, 61) :- #0.62.
link(5, 63) :- #0.32.
link(5, 69) :- #0.48.
link(5, 74) :- #0.48.
link(5, 81) :- #0.8.
link(5, 83) :- #0.1.
link(5, 85) :- #0.94.
link(5, 90) :- #0.26.
link(5, 95) :- #0.88.
link(5, 99) :- #0.9.
link(5, 113) :- #0.76.
link(5, 116) :- #0.42.
link(5, 123) :- #0.98.
link(5, 125) :- #0.08.
link(5, 131) :- #0.32.
link(6, 8) :- #0.62.
link(6, 17) :- #0.14.
link(6, 26) :- #0.44.
link(6, 33) :- #0.04.
link(6, 42) :- #0.44.
link(6, 59) :- #0.7.
link(6, 65) :- #0.04.
link(6, 74) :- #0.1.
link(6, 90) :- #0.82.
link(6, 107) :- #0.54.
link(6, 108) :- #0.42.
link(6, 123) :- #0.46.
link(6, 133) :- #0.08.
link(6, 135) :- #0.52.
link(6, 138) :- #0.88.
link(6, 142) :- #0.06.
link(7, 3) :- #0.64.
link(7, 8) :- #0.
link(7, 17) :- #0.2.
link(7, 32) :- #0.52.
link(7, 59) :- #0.58.
link(7, 66) :- #0.34.
link(7, 85) :- #0.94.
link(7, 87) :- #0.52.
link(7, 88) :- #0.76.
link(7, 123) :- #0.9.
link(7, 124) :- #0.32.
link(7, 146) :- #0.1.
link(8, 1) :- #0.54.
link(8, 4) :- #0.54.
link(8, 6) :- #0.08.
link(8, 7) :- #0.92.
link(8, 9) :- #0.38.
link(8, 12) :- #0.92.
link(8, 34) :- #0.7.
link(8, 37) :- #0.06.
link(8, 42) :- #0.02.
link(8, 58) :- #0.54.
link(8, 65) :- #0.42.
link(8, 73) :- #0.3.
link(8, 81) :- #0.66.
link(8, 83) :- #0.48.
link(8, 84) :- #0.3.
link(8, 87) :- #0.86.
link(8, 107) :- #0.06.
link(8, 116) :- #0.38.
link(8, 122) :- #0.46.
link(8, 129) :- #0.34.
link(8, 138) :- #0.94.
link(8, 139) :- #0.2.
link(9, 4) :- #0.48.
link(9, 8) :- #0.4.
link(9, 21) :- #0.06.
link(9, 29) :- #0.84.
link(9, 30) :- #0.84.
link(9, 36) :- #0.58.
link(9, 39) :- #0.98.
link(9, 48) :- #0.4.
link(9, 50) :- #0.44.
link(9, 58) :- #0.04.
link(9, 63) :- #0.54.
link(9, 69) :- #0.74.
link(9, 85) :- #0.96.
link(9, 91) :- #0.48.
link(9, 92) :- #0.88.
link(9, 118) :- #0.6.
link(9, 119) :- #0.68.
link(9, 128) :- #0.74.
link(9, 133) :- #0.44.
link(9, 142) :- #0.74.
link(10, 12) :- #0.4.
link(10, 20) :- #0.56.
link(10, 23) :- #0.18.
link(10, 27) :- #0.34.
link(10, 37) :- #0.92.
link(10, 52) :- #0.9.
link(10, 54) :- #0.04.
link(10, 56) :- #0.38.
link(10, 62) :- #0.44.
link(10, 63) :- #0.94.
link(10, 92) :- #0.9.
link(10, 105) :- #0.46.
link(10, 116) :- #0.18.
link(10, 137) :- #0.34.
link(10, 143) :- #1.
link(10, 146) :- #0.54.
link(10, 147) :- #0.94.
link(11, 3) :- #0.48.
link(11, 13) :- #0.54.
link(11, 18) :- #0.96.
link(11, 21) :- #0.08.
link(11, 25) :- #0.92.
link(11, 35) :- #0.24.
link(11, 61) :- #0.86.
link(11, 64) :- #0.16.
link(11, 68) :- #0.86.
link(11, 89) :- #0.76.
link(11, 96) :- #0.9.
link(11, 101) :- #0.42.
link(11, 105) :- #0.52.
link(11, 107) :- #0.42.
link(11, 112) :- #0.84.
link(11, 118) :- #0.86.
link(11, 127) :- #0.38.
link(11, 132) :- #0.54.
link(11, 142) :- #0.46.
link(12, 8) :- #0.5.
link(12, 10) :- #0.98.
link(12, 13) :- #0.74.
link(12, 23) :- #0.92.
link(12, 32) :- #0.62.
link(12, 38) :- #0.52.
link(12, 52) :- #0.66.
link(12, 56) :- #0.14.
link(12, 58) :- #0.68.
link(12, 60) :- #0.6.
link(12, 63) :- #0.86.
link(12, 71) :- #0.28.
link(12, 94) :- #0.92.
link(12, 99) :- #0.64.
link(12, 100) :- #0.48.
link(12, 122) :- #0.7.
link(12, 130) :- #0.08.
link(12, 133) :- #0.46.
link(12, 135) :- #0.64.
link(12, 144) :- #0.54.
link(12, 147) :- #0.78.
link(13, 11) :- #0.46.
link(13, 12) :- #0.16.
link(13, 40) :- #0.2.
link(13, 57) :- #0.98.
link(13, 59) :- #0.9.
link(13, 60) :- #0.28.
link(13, 62) :- #0.2.
link(13, 66) :- #0.92.
link(13, 70) :- #0.14.
link(13, 75) :- #0.64.
link(13, 78) :- #0.12.
link(13, 79) :- #0.16.
link(13, 91) :- #0.76.
link(13, 95) :- #0.36.
link(13, 105) :- #0.98.
link(13, 128) :- #0.42.
link(13, 130) :- #0.14.
link(13, 132) :- #0.8.
link(13, 147) :- #0.88.
link(14, 17) :- #0.6.
link(14, 37) :- #0.44.
link(14, 40) :- #0.04.
link(14, 41) :- #0.12.
link(14, 52) :- #0.6.
link(14, 78) :- #0.88.
link(14, 105) :- #1.
link(15, 5) :- #0.38.
link(15, 32) :- #0.36.
link(15, 41) :- #0.28.
link(15, 47) :- #0.94.
link(15, 50) :- #0.7.
link(15, 56) :- #0.68.
link(15, 65) :- #0.76.
link(15, 69) :- #0.72.
link(15, 73) :- #0.1.
link(15, 81) :- #0.8.
link(15, 82) :- #0.46.
link(15, 105) :- #0.84.
link(15, 111) :- #0.68.
link(15, 117) :- #0.62.
link(15, 120) :- #0.58.
link(15, 125) :- #0.22.
link(15, 148) :- #0.78.
link(16, 1) :- #0.52.
link(16, 54) :- #0.96.
link(16, 66) :- #0.92.
link(16, 71) :- #0.28.
link(16, 82) :- #0.7.
link(16, 83) :- #0.44.
link(16, 95) :- #0.02.
link(16, 109) :- #0.26.
link(16, 113) :- #0.76.
link(16, 120) :- #0.64.
link(16, 139) :- #0.66.
link(17, 6) :- #0.52.
link(17, 7) :- #0.54.
link(17, 14) :- #0.92.
link(17, 18) :- #0.74.
link(17, 26) :- #0.76.
link(17, 29) :- #0.98.
link(17, 30) :- #0.36.
link(17, 32) :- #0.84.
link(17, 34) :- #0.64.
link(17, 53) :- #0.14.
link(17, 72) :- #0.8.
link(17, 98) :- #0.56.
link(17, 105) :- #0.56.
link(17, 118) :- #0.72.
link(17, 150) :- #0.48.
link(18, 11) :- #0.08.
link(18, 17) :- #0.06.
link(18, 21) :- #0.24.
link(18, 46) :- #0.7.
link(18, 49) :- #0.34.
link(18, 53) :- #0.3.
link(18, 61) :- #0.24.
link(18, 63) :- #0.38.
link(18, 68) :- #0.7.
link(18, 69) :- #0.14.
link(18, 94) :- #0.28.
link(18, 108) :- #0.62.
link(18, 111) :- #0.6.
link(18, 118) :- #0.68.
link(18, 126) :- #0.76.
link(18, 128) :- #0.06.
link(19, 20) :- #0.12.
link(19, 21) :- #0.48.
link(19, 24) :- #0.4.
link(19, 27) :- #0.1.
link(19, 33) :- #0.54.
link(19, 45) :- #1.
link(19, 62) :- #0.62.
link(19, 72) :- #0.18.
link(19, 73) :- #0.04.
link(19, 80) :- #0.02.
link(19, 83) :- #0.14.
link(19, 87) :- #0.22.
link(19, 100) :- #0.36.
link(19, 108) :- #0.58.
link(19, 129) :- #0.42.
link(19, 135) :- #0.98.
link(19, 143) :- #0.7.
link(20, 10) :- #0.32.
link(20, 19) :- #0.18.
link(20, 36) :- #0.24.
link(20, 46) :- #0.04.
link(20, 74) :- #0.82.
link(20, 83) :- #0.46.
link(20, 88) :- #0.46.
link(20, 93) :- #0.04.
link(20, 122) :- #0.52.
link(20, 124) :- #0.72.
link(20, 125) :- #0.96.
link(20, 134) :- #0.1.
link(20, 150) :- #0.6.
link(21, 5) :- #0.42.
link(21, 9) :- #0.14.
link(21, 11) :- #0.84.
link(21, 18) :- #0.8.
link(21, 19) :- #0.48.
link(21, 27) :- #0.28.
link(21, 29) :- #0.38.
link(21, 43) :- #0.58.
link(21, 72) :- #0.9.
link(21, 73) :- #0.62.
link(21, 78) :- #0.6.
link(21, 86) :- #0.36.
link(21, 95) :- #0.02.
link(21, 102) :- #0.74.
link(21, 103) :- #0.8.
link(21, 112) :- #0.1.
link(21, 126) :- #0.8.
link(21, 128) :- #0.04.
link(21, 147) :- #0.86.
link(22, 2) :- #0.28.
link(22, 26) :- #0.14.
link(22, 34) :- #0.26.
link(22, 46) :- #0.74.
link(22, 62) :- #0.44.
link(22, 65) :- #0.42.
link(22, 76) :- #0.46.
link(22, 78) :- #0.28.
link(22, 99) :- #0.26.
link(22, 111) :- #0.24.
link(22, 112) :- #0.58.
link(22, 127) :- #0.5.
link(22, 134) :- #0.02.
link(22, 136) :- #0.48.
link(23, 10) :- #0.32.
link(23, 12) :- #0.3.
link(23, 29) :- #0.12.
link(23, 30) :- #0.94.
link(23, 32) :- #0.7.
link(23, 39) :- #0.7.
link(23, 41) :- #0.
link(23, 47) :- #0.84.
link(23, 49) :- #0.5.
link(23, 50) :- #0.48.
link(23, 51) :- #0.2.
link(23, 60) :- #1.
link(23, 64) :- #0.1.
link(23, 75) :- #0.32.
link(23, 85) :- #0.06.
link(23, 91) :- #0.38.
link(23, 94) :- #0.94.
link(23, 109) :- #0.24.
link(23, 116) :- #0.
link(23, 130) :- #0.58.
link(23, 134) :- #0.62.
link(24, 19) :- #0.5.
link(24, 60) :- #0.
link(24, 64) :- #0.26.
link(24, 87) :- #0.74.
link(24, 90) :- #0.48.
link(24, 91) :- #0.82.
link(24, 106) :- #0.66.
link(24, 137) :- #0.2.
link(24, 138) :- #0.
link(24, 147) :- #0.34.
link(24, 148) :- #0.18.
link(25, 11) :- #0.26.
link(25, 32) :- #0.78.
link(25, 44) :- #0.52.
link(25, 49) :- #0.34.
link(25, 58) :- #0.5.
link(25, 62) :- #0.02.
link(25, 68) :- #0.12.
link(25, 73) :- #0.3.
link(25, 82) :- #0.6.
link(25, 88) :- #0.66.
link(25, 99) :- #0.74.
link(25, 100) :- #0.44.
link(25, 125) :- #0.18.
link(25, 128) :- #0.98.
link(25, 133) :- #0.72.
link(25, 141) :- #0.76.
link(25, 142) :- #0.94.
link(25, 146) :- #0.22.
link(26, 6) :- #0.58.
link(26, 17) :- #0.34.
link(26, 22) :- #0.68.
link(26, 28) :- #0.68.
link(26, 65) :- #0.84.
link(26, 88) :- #0.2.
link(26, 101) :- #0.18.
link(26, 105) :- #0.14.
link(26, 116) :- #0.34.
link(26, 120) :- #0.92.
link(26, 125) :- #0.96.
link(26, 133) :- #0.14.
link(26, 138) :- #0.88.
link(27, 10) :- #0.
link(27, 19) :- #0.62.
link(27, 21) :- #0.02.
link(27, 41) :- #0.82.
link(27, 42) :- #0.3.
link(27, 52) :- #0.12.
link(27, 69) :- #0.78.
link(27, 72) :- #0.38.
link(27, 74) :- #0.76.
link(27, 76) :- #0.32.
link(27, 82) :- #0.24.
link(27, 92) :- #0.92.
link(27, 97) :- #0.9.
link(27, 101) :- #0.24.
link(27, 105) :- #0.66.
link(27, 112) :- #0.48.
link(27, 131) :- #0.8.
link(27, 142) :- #0.66.
link(28, 26) :- #0.88.
link(28, 33) :- #0.96.
link(28, 34) :- #0.2.
link(28, 57) :- #0.54.
link(28, 67) :- #0.68.
link(28, 70) :- #0.5.
link(28, 90) :- #0.72.
link(28, 97) :- #0.58.
link(28, 98) :- #0.9.
link(28, 119) :- #0.54.
link(29, 1) :- #0.08.
link(29, 2) :- #0.66.
link(29, 9) :- #0.22.
link(29, 17) :- #0.62.
link(29, 21) :- #0.28.
link(29, 23) :- #0.92.
link(29, 46) :- #0.06.
link(29, 60) :- #0.56.
link(29, 66) :- #0.96.
link(29, 89) :- #0.2.
link(29, 100) :- #0.7.
link(29, 102) :- #0.98.
link(29, 114) :- #0.64.
link(29, 123) :- #0.72.
link(29, 150) :- #0.3.
link(30, 3) :- #0.5.
link(30, 9) :- #0.36.
link(30, 17) :- #0.94.
link(30, 23) :- #0.82.
link(30, 47) :- #0.66.
link(30, 49) :- #0.32.
link(30, 78) :- #0.62.
link(30, 94) :- #0.34.
link(30, 101) :- #0.68.
link(30, 103) :- #0.34.
link(30, 104) :- #0.38.
link(30, 111) :- #0.6.
link(30, 122) :- #0.6.
link(30, 138) :- #0.74.
link(30, 150) :- #0.68.
link(31, 33) :- #0.02.
link(31, 44) :- #0.36.
link(31, 47) :- #0.76.
link(31, 48) :- #0.52.
link(31, 55) :- #0.12.
link(31, 56) :- #0.74.
link(31, 58) :- #0.36.
link(31, 73) :- #0.14.
link(31, 81) :- #0.1.
link(31, 87) :- #0.6.
link(31, 92) :- #0.34.
link(31, 97) :- #0.06.
link(31, 99) :- #0.04.
link(31, 103) :- #0.44.
link(31, 105) :- #0.48.
link(31, 108) :- #0.28.
link(31, 114) :- #0.34.
link(31, 118) :- #0.36.
link(31, 123) :- #0.62.
link(31, 130) :- #0.36.
link(31, 136) :- #0.52.
link(31, 145) :- #0.1.
link(32, 7) :- #0.28.
link(32, 12) :- #0.04.
link(32, 15) :- #0.08.
link(32, 17) :- #0.38.
link(32, 23) :- #0.7.
link(32, 25) :- #0.2.
link(32, 43) :- #0.9.
link(32, 48) :- #0.66.
link(32, 52) :- #0.54.
link(32, 60) :- #0.42.
link(32, 65) :- #0.06.
link(32, 69) :- #0.44.
link(32, 75) :- #0.72.
link(32, 76) :- #0.62.
link(32, 83) :- #0.5.
link(32, 96) :- #0.16.
link(32, 108) :- #0.42.
link(32, 111) :- #0.16.
link(32, 134) :- #0.84.
link(32, 148) :- #0.3.
link(33, 4) :- #0.02.
link(33, 6) :- #0.52.
link(33, 19) :- #0.84.
link(33, 28) :- #0.98.
link(33, 31) :- #0.24.
link(33, 60) :- #0.7.
link(33, 94) :- #0.76.
link(33, 116) :- #0.28.
link(33, 138) :- #0.7.
link(33, 142) :- #0.22.
link(33, 149) :- #0.68.
link(34, 1) :- #0.26.
link(34, 8) :- #0.58.
link(34, 17) :- #0.6.
link(34, 22) :- #0.44.
link(34, 28) :- #0.02.
link(34, 45) :- #0.26.
link(34, 69) :- #0.8.
link(34, 77) :- #0.22.
link(34, 82) :- #0.22.
link(34, 84) :- #0.08.
link(34, 89) :- #0.28.
link(34, 101) :- #1.
link(34, 103) :- #0.92.
link(34, 124) :- #0.08.
link(34, 125) :- #0.1.
link(34, 143) :- #0.02.
link(34, 148) :- #0.7.
link(35, 11) :- #0.04.
link(35, 48) :- #0.1.
link(35, 49) :- #0.58.
link(35, 60) :- #0.16.
link(35, 71) :- #0.56.
link(35, 93) :- #0.72.
link(35, 103) :- #0.68.
link(35, 104) :- #0.02.
link(35, 106) :- #0.36.
link(35, 107) :- #0.54.
link(35, 109) :- #0.92.
link(35, 119) :- #0.02.
link(35, 129) :- #0.64.
link(35, 133) :- #0.38.
link(35, 138) :- #0.12.
link(36, 9) :- #0.7.
link(36, 20) :- #0.4.
link(36, 39) :- #0.34.
link(36, 67) :- #0.18.
link(36, 77) :- #0.18.
link(36, 113) :- #0.42.
link(36, 126) :- #0.4.
link(36, 127) :- #0.14.
link(36, 129) :- #0.24.
link(36, 133) :- #0.54.
link(37, 8) :- #0.72.
link(37, 10) :- #0.72.
link(37, 14) :- #0.96.
link(37, 39) :- #0.34.
link(37, 40) :- #0.2.
link(37, 55) :- #0.7.
link(37, 69) :- #0.7.
link(37, 70) :- #0.3.
link(37, 81) :- #0.22.
link(37, 89) :- #0.48.
link(37, 101) :- #0.16.
link(37, 115) :- #0.82.
link(37, 120) :- #0.92.
link(37, 123) :- #0.06.
link(37, 128) :- #0.52.
link(37, 130) :- #0.48.
link(38, 12) :- #0.5.
link(38, 48) :- #0.72.
link(38, 63) :- #0.78.
link(38, 70) :- #0.44.
link(38, 72) :- #0.3.
link(38, 85) :- #0.86.
link(38, 112) :- #0.12.
link(38, 132) :- #0.12.
link(38, 143) :- #0.36.
link(39, 2) :- #0.24.
link(39, 9) :- #0.44.
link(39, 23) :- #0.6.
link(39, 36) :- #0.62.
link(39, 37) :- #0.8.
link(39, 48) :- #0.98.
link(39, 73) :- #0.44.
link(39, 82) :- #0.76.
link(39, 90) :- #0.1.
link(39, 93) :- #0.52.
link(39, 101) :- #0.54.
link(39, 112) :- #0.
link(39, 115) :- #0.32.
link(39, 130) :- #0.26.
link(39, 135) :- #0.3.
link(39, 136) :- #0.56.
link(39, 137) :- #0.1.
link(40, 4) :- #0.38.
link(40, 13) :- #0.48.
link(40, 14) :- #0.24.
link(40, 37) :- #0.72.
link(40, 61) :- #0.92.
link(40, 78) :- #0.54.
link(40, 101) :- #0.72.
link(40, 104) :- #0.86.
link(40, 141) :- #0.4.
link(41, 14) :- #0.46.
link(41, 15) :- #0.94.
link(41, 23) :- #0.42.
link(41, 27) :- #0.84.
link(41, 43) :- #0.2.
link(41, 50) :- #0.46.
link(41, 52) :- #0.02.
link(41, 62) :- #0.6.
link(41, 68) :- #0.78.
link(41, 69) :- #0.8.
link(41, 70) :- #0.72.
link(41, 71) :- #0.1.
link(41, 102) :- #0.64.
link(41, 111) :- #0.74.
link(41, 131) :- #0.52.
link(42, 6) :- #0.52.
link(42, 8) :- #0.68.
link(42, 27) :- #0.72.
link(42, 45) :- #0.82.
link(42, 58) :- #0.12.
link(42, 86) :- #0.76.
link(42, 88) :- #0.08.
link(42, 91) :- #0.46.
link(42, 92) :- #0.6.
link(42, 95) :- #0.34.
link(42, 105) :- #0.84.
link(42, 113) :- #0.1.
link(42, 119) :- #0.28.
link(42, 123) :- #0.9.
link(42, 128) :- #0.46.
link(42, 143) :- #0.44.
link(42, 147) :- #0.18.
link(43, 5) :- #0.92.
link(43, 21) :- #0.1.
link(43, 32) :- #0.92.
link(43, 41) :- #0.78.
link(43, 50) :- #0.86.
link(43, 55) :- #0.64.
link(43, 58) :- #0.76.
link(43, 65) :- #0.02.
link(43, 69) :- #0.4.
link(43, 78) :- #0.96.
link(43, 89) :- #0.12.
link(43, 90) :- #0.14.
link(43, 96) :- #0.74.
link(43, 116) :- #0.7.
link(43, 130) :- #0.52.
link(43, 133) :- #0.54.
link(43, 140) :- #0.94.
link(43, 142) :- #0.
link(43, 144) :- #0.4.
link(43, 147) :- #0.56.
link(44, 25) :- #0.84.
link(44, 31) :- #0.08.
link(44, 47) :- #0.24.
link(44, 54) :- #0.76.
link(44, 56) :- #0.76.
link(44, 58) :- #0.64.
link(44, 66) :- #0.58.
link(44, 77) :- #0.34.
link(44, 83) :- #0.24.
link(44, 84) :- #0.3.
link(44, 99) :- #0.08.
link(44, 101) :- #0.84.
link(44, 113) :- #0.08.
link(44, 114) :- #0.6.
link(44, 117) :- #1.
link(44, 131) :- #0.68.
link(44, 138) :- #0.66.
link(44, 150) :- #0.02.
link(45, 19) :- #0.9.
link(45, 34) :- #1.
link(45, 42) :- #0.92.
link(45, 52) :- #0.76.
link(45, 57) :- #0.44.
link(45, 62) :- #0.84.
link(45, 74) :- #0.18.
link(45, 92) :- #0.16.
link(45, 109) :- #0.56.
link(45, 113) :- #0.92.
link(45, 120) :- #0.66.
link(45, 121) :- #0.92.
link(45, 127) :- #0.96.
link(45, 132) :- #1.
link(45, 141) :- #0.3.
link(45, 146) :- #0.88.
link(45, 147) :- #0.64.
link(45, 150) :- #0.8.
link(46, 18) :- #0.54.
link(46, 20) :- #0.36.
link(46, 22) :- #0.38.
link(46, 29) :- #0.22.
link(46, 49) :- #0.96.
link(46, 71) :- #0.3.
link(46, 78) :- #0.86.
link(46, 81) :- #0.62.
link(46, 89) :- #0.92.
link(46, 120) :- #0.04.
link(46, 122) :- #0.4.
link(46, 126) :- #0.1.
link(46, 129) :- #0.38.
link(46, 135) :- #0.24.
link(46, 149) :- #0.4.
link(47, 15) :- #0.44.
link(47, 23) :- #0.58.
link(47, 30) :- #0.96.
link(47, 31) :- #0.7.
link(47, 44) :- #0.
link(47, 54) :- #0.68.
link(47, 57) :- #0.28.
link(47, 60) :- #0.46.
link(47, 69) :- #0.12.
link(47, 70) :- #0.2.
link(47, 81) :- #0.12.
link(47, 107) :- #0.62.
link(47, 116) :- #0.28.
link(47, 129) :- #0.06.
link(47, 130) :- #0.96.
link(47, 131) :- #0.4.
link(47, 149) :- #0.4.
link(48, 9) :- #0.28.
link(48, 31) :- #0.44.
link(48, 32) :- #0.36.
link(48, 35) :- #0.12.
link(48, 38) :- #0.1.
link(48, 39) :- #0.7.
link(48, 51) :- #0.64.
link(48, 78) :- #0.7.
link(48, 79) :- #0.72.
link(48, 89) :- #0.32.
link(48, 90) :- #0.86.
link(48, 91) :- #0.7.
link(48, 93) :- #0.54.
link(48, 111) :- #0.64.
link(48, 114) :- #0.42.
link(48, 125) :- #0.84.
link(48, 131) :- #0.56.
link(48, 141) :- #0.88.
link(48, 142) :- #0.42.
link(49, 18) :- #0.28.
link(49, 23) :- #0.44.
link(49, 25) :- #0.08.
link(49, 30) :- #0.9.
link(49, 35) :- #0.1.
link(49, 46) :- #0.68.
link(49, 79) :- #0.4.
link(49, 93) :- #0.78.
link(49, 97) :- #0.4.
link(49, 113) :- #0.68.
link(49, 115) :- #0.76.
link(49, 118) :- #0.42.
link(49, 139) :- #0.88.
link(49, 140) :- #0.84.
link(49, 143) :- #0.98.
link(49, 150) :- #0.88.
link(50, 2) :- #0.58.
link(50, 9) :- #0.12.
link(50, 15) :- #0.42.
link(50, 23) :- #0.9.
link(50, 41) :- #0.26.
link(50, 43) :- #0.56.
link(50, 58) :- #0.36.
link(50, 89) :- #0.56.
link(50, 96) :- #0.1.
link(50, 107) :- #0.9.
link(50, 115) :- #0.56.
link(50, 116) :- #0.56.
link(50, 126) :- #0.14.
link(50, 149) :- #0.52.
link(51, 23) :- #0.42.
link(51, 48) :- #0.98.
link(51, 93) :- #0.52.
link(51, 99) :- #0.32.
link(51, 108) :- #0.24.
link(51, 115) :- #0.44.
link(51, 134) :- #0.32.
link(51, 135) :- #0.58.
link(51, 140) :- #0.96.
link(52, 10) :- #0.16.
link(52, 12) :- #1.
link(52, 14) :- #0.96.
link(52, 27) :- #0.58.
link(52, 32) :- #0.5.
link(52, 41) :- #0.16.
link(52, 45) :- #0.62.
link(52, 72) :- #0.58.
link(52, 74) :- #0.48.
link(52, 78) :- #0.76.
link(52, 104) :- #0.52.
link(52, 108) :- #0.4.
link(52, 111) :- #0.2.
link(52, 143) :- #0.32.
link(52, 145) :- #0.14.
link(52, 146) :- #0.98.
link(53, 3) :- #0.88.
link(53, 17) :- #0.58.
link(53, 18) :- #0.12.
link(53, 67) :- #0.4.
link(53, 71) :- #0.82.
link(53, 88) :- #0.58.
link(53, 92) :- #0.96.
link(53, 93) :- #0.96.
link(53, 118) :- #0.96.
link(53, 123) :- #0.1.
link(53, 124) :- #0.68.
link(53, 131) :- #0.78.
link(53, 143) :- #0.74.
link(54, 1) :- #0.94.
link(54, 10) :- #0.84.
link(54, 16) :- #0.08.
link(54, 44) :- #0.2.
link(54, 47) :- #0.86.
link(54, 71) :- #0.18.
link(54, 73) :- #0.48.
link(54, 83) :- #0.86.
link(54, 94) :- #0.28.
link(54, 97) :- #0.22.
link(54, 149) :- #0.04.
link(55, 31) :- #0.84.
link(55, 37) :- #0.8.
link(55, 43) :- #0.4.
link(55, 58) :- #0.9.
link(55, 62) :- #0.04.
link(55, 63) :- #0.9.
link(55, 67) :- #0.16.
link(55, 80) :- #0.36.
link(55, 83) :- #0.76.
link(55, 91) :- #0.26.
link(55, 103) :- #0.28.
link(55, 122) :- #0.1.
link(55, 125) :- #0.62.
link(55, 138) :- #0.52.
link(55, 141) :- #0.06.
link(55, 146) :- #0.54.
link(56, 10) :- #0.7.
link(56, 12) :- #0.78.
link(56, 15) :- #0.2.
link(56, 31) :- #0.02.
link(56, 44) :- #0.66.
link(56, 58) :- #0.72.
link(56, 81) :- #0.4.
link(56, 84) :- #0.38.
link(56, 106) :- #0.84.
link(56, 122) :- #0.28.
link(56, 126) :- #0.42.
link(57, 5) :- #0.58.
link(57, 13) :- #0.82.
link(57, 28) :- #0.
link(57, 45) :- #0.74.
link(57, 47) :- #0.98.
link(57, 58) :- #0.7.
link(57, 61) :- #0.08.
link(57, 73) :- #0.96.
link(57, 75) :- #0.5.
link(57, 77) :- #0.66.
link(57, 95) :- #0.18.
link(57, 117) :- #0.64.
link(57, 121) :- #0.82.
link(57, 127) :- #0.16.
link(57, 131) :- #0.72.
link(57, 132) :- #0.82.
link(58, 8) :- #0.52.
link(58, 9) :- #0.62.
link(58, 12) :- #0.28.
link(58, 25) :- #0.42.
link(58, 31) :- #0.84.
link(58, 42) :- #0.3.
link(58, 43) :- #0.42.
link(58, 44) :- #0.24.
link(58, 50) :- #0.76.
link(58, 55) :- #0.28.
link(58, 56) :- #0.44.
link(58, 57) :- #0.84.
link(58, 73) :- #0.7.
link(58, 76) :- #0.12.
link(58, 83) :- #0.5.
link(58, 104) :- #0.4.
link(58, 118) :- #0.84.
link(58, 128) :- #1.
link(58, 133) :- #0.84.
link(58, 141) :- #0.72.
link(58, 142) :- #0.32.
link(59, 2) :- #0.44.
link(59, 6) :- #0.22.
link(59, 7) :- #0.06.
link(59, 13) :- #0.78.
link(59, 63) :- #0.98.
link(59, 70) :- #0.2.
link(59, 73) :- #0.18.
link(59, 80) :- #0.92.
link(59, 93) :- #0.6.
link(59, 102) :- #0.52.
link(59, 105) :- #0.94.
link(59, 137) :- #0.58.
link(59, 141) :- #0.22.
link(59, 143) :- #0.98.
link(59, 148) :- #0.54.
link(60, 4) :- #0.22.
link(60, 12) :- #1.
link(60, 13) :- #0.86.
link(60, 23) :- #0.94.
link(60, 24) :- #0.86.
link(60, 29) :- #0.6.
link(60, 32) :- #0.38.
link(60, 33) :- #0.38.
link(60, 35) :- #0.4.
link(60, 47) :- #0.86.
link(60, 76) :- #0.86.
link(60, 84) :- #0.96.
link(60, 100) :- #0.18.
link(60, 105) :- #0.62.
link(60, 110) :- #0.92.
link(60, 122) :- #0.02.
link(60, 126) :- #0.76.
link(60, 131) :- #0.78.
link(60, 134) :- #0.52.
link(60, 137) :- #0.44.
link(61, 3) :- #0.78.
link(61, 5) :- #0.34.
link(61, 11) :- #0.36.
link(61, 18) :- #0.54.
link(61, 40) :- #0.98.
link(61, 57) :- #0.78.
link(61, 73) :- #0.68.
link(61, 78) :- #0.54.
link(61, 101) :- #0.64.
link(61, 107) :- #0.2.
link(61, 118) :- #0.38.
link(61, 120) :- #0.88.
link(61, 121) :- #0.94.
link(61, 137) :- #0.7.
link(61, 138) :- #0.48.
link(62, 2) :- #0.04.
link(62, 10) :- #0.38.
link(62, 13) :- #0.74.
link(62, 19) :- #0.52.
link(62, 22) :- #0.6.
link(62, 25) :- #0.24.
link(62, 41) :- #0.66.
link(62, 45) :- #0.5.
link(62, 55) :- #0.94.
link(62, 65) :- #0.54.
link(62, 66) :- #0.14.
link(62, 72) :- #0.46.
link(62, 94) :- #0.7.
link(62, 102) :- #0.32.
link(62, 111) :- #0.68.
link(62, 127) :- #0.48.
link(62, 133) :- #0.16.
link(62, 149) :- #0.82.
link(63, 4) :- #0.92.
link(63, 5) :- #0.68.
link(63, 9) :- #0.22.
link(63, 10) :- #0.02.
link(63, 12) :- #0.86.
link(63, 18) :- #0.74.
link(63, 38) :- #0.64.
link(63, 55) :- #1.
link(63, 59) :- #0.86.
link(63, 72) :- #0.24.
link(63, 73) :- #0.62.
link(63, 81) :- #0.8.
link(63, 82) :- #0.02.
link(63, 90) :- #0.2.
link(63, 99) :- #0.68.
link(63, 103) :- #0.64.
link(63, 104) :- #0.02.
link(63, 105) :- #0.2.
link(63, 107) :- #0.3.
link(63, 110) :- #0.16.
link(63, 119) :- #0.28.
link(63, 120) :- #0.92.
link(63, 130) :- #0.6.
link(63, 140) :- #0.56.
link(63, 141) :- #0.02.
link(63, 142) :- #0.26.
link(64, 1) :- #0.58.
link(64, 11) :- #0.36.
link(64, 23) :- #0.04.
link(64, 24) :- #0.12.
link(64, 97) :- #0.94.
link(64, 115) :- #0.18.
link(64, 116) :- #0.64.
link(64, 117) :- #0.26.
link(64, 123) :- #0.62.
link(64, 133) :- #0.92.
link(64, 148) :- #0.12.
link(65, 6) :- #0.82.
link(65, 8) :- #0.58.
link(65, 15) :- #0.2.
link(65, 22) :- #0.94.
link(65, 26) :- #0.46.
link(65, 32) :- #0.88.
link(65, 43) :- #0.76.
link(65, 62) :- #0.08.
link(65, 73) :- #0.14.
link(65, 79) :- #0.7.
link(65, 86) :- #0.56.
link(65, 100) :- #0.2.
link(65, 112) :- #0.48.
link(65, 120) :- #0.1.
link(65, 123) :- #0.98.
link(65, 126) :- #0.72.
link(65, 127) :- #0.6.
link(66, 7) :- #0.32.
link(66, 13) :- #0.42.
link(66, 16) :- #0.58.
link(66, 29) :- #0.5.
link(66, 44) :- #0.22.
link(66, 62) :- #0.5.
link(66, 83) :- #0.08.
link(66, 93) :- #0.02.
link(66, 102) :- #0.46.
link(66, 119) :- #0.56.
link(66, 121) :- #0.06.
link(66, 143) :- #0.6.
link(66, 146) :- #0.54.
link(67, 3) :- #0.96.
link(67, 28) :- #0.78.
link(67, 36) :- #0.72.
link(67, 53) :- #0.72.
link(67, 55) :- #0.36.
link(67, 76) :- #0.12.
link(67, 79) :- #0.96.
link(67, 85) :- #0.86.
link(67, 87) :- #0.06.
link(67, 98) :- #0.2.
link(67, 100) :- #0.92.
link(67, 111) :- #0.04.
link(67, 113) :- #0.54.
link(67, 135) :- #0.1.
link(67, 143) :- #0.42.
link(67, 144) :- #0.84.
link(67, 148) :- #0.64.
link(68, 11) :- #0.86.
link(68, 18) :- #0.38.
link(68, 25) :- #0.08.
link(68, 41) :- #0.48.
link(68, 87) :- #0.54.
link(68, 88) :- #0.68.
link(68, 91) :- #0.66.
link(68, 92) :- #0.68.
link(68, 94) :- #0.4.
link(68, 97) :- #0.96.
link(68, 113) :- #0.72.
link(68, 127) :- #0.06.
link(68, 140) :- #0.58.
link(68, 145) :- #0.8.
link(68, 147) :- #0.04.
link(68, 148) :- #0.86.
link(68, 149) :- #0.04.
link(68, 150) :- #0.4.
link(69, 3) :- #0.2.
link(69, 4) :- #0.6.
link(69, 5) :- #0.42.
link(69, 9) :- #0.26.
link(69, 15) :- #1.
link(69, 18) :- #0.98.
link(69, 27) :- #0.36.
link(69, 32) :- #0.96.
link(69, 34) :- #0.98.
link(69, 37) :- #0.16.
link(69, 41) :- #0.2.
link(69, 43) :- #0.82.
link(69, 47) :- #0.06.
link(69, 73) :- #0.52.
link(69, 94) :- #0.54.
link(69, 98) :- #0.12.
link(69, 106) :- #0.12.
link(69, 119) :- #0.4.
link(69, 121) :- #0.68.
link(69, 126) :- #0.22.
link(70, 2) :- #0.04.
link(70, 13) :- #0.34.
link(70, 28) :- #0.96.
link(70, 37) :- #0.14.
link(70, 38) :- #0.76.
link(70, 41) :- #1.
link(70, 47) :- #0.48.
link(70, 59) :- #0.92.
link(70, 76) :- #0.84.
link(70, 96) :- #0.88.
link(70, 108) :- #0.24.
link(70, 111) :- #0.54.
link(70, 119) :- #0.3.
link(70, 142) :- #0.44.
link(70, 145) :- #0.04.
link(71, 2) :- #0.66.
link(71, 12) :- #0.84.
link(71, 16) :- #0.36.
link(71, 35) :- #0.62.
link(71, 41) :- #0.08.
link(71, 46) :- #0.78.
link(71, 53) :- #0.14.
link(71, 54) :- #0.32.
link(71, 73) :- #0.14.
link(71, 82) :- #0.64.
link(71, 86) :- #0.48.
link(71, 96) :- #0.78.
link(71, 126) :- #0.24.
link(71, 133) :- #0.74.
link(71, 146) :- #0.06.
link(71, 148) :- #0.42.
link(72, 17) :- #0.66.
link(72, 19) :- #0.7.
link(72, 21) :- #0.02.
link(72, 27) :- #0.4.
link(72, 38) :- #0.04.
link(72, 52) :- #0.12.
link(72, 62) :- #0.62.
link(72, 63) :- #0.16.
link(72, 84) :- #0.26.
link(72, 91) :- #0.96.
link(72, 98) :- #0.46.
link(72, 101) :- #0.38.
link(72, 117) :- #0.14.
link(72, 118) :- #0.92.
link(72, 119) :- #0.42.
link(72, 124) :- #0.68.
link(72, 135) :- #0.04.
link(72, 149) :- #0.66.
link(73, 8) :- #0.64.
link(73, 15) :- #0.88.
link(73, 19) :- #0.16.
link(73, 21) :- #0.
link(73, 25) :- #0.86.
link(73, 31) :- #0.52.
link(73, 39) :- #0.08.
link(73, 54) :- #0.78.
link(73, 57) :- #0.96.
link(73, 58) :- #0.74.
link(73, 59) :- #0.84.
link(73, 61) :- #0.74.
link(73, 63) :- #0.02.
link(73, 65) :- #0.84.
link(73, 69) :- #0.68.
link(73, 71) :- #0.26.
link(73, 80) :- #0.78.
link(73, 81) :- #0.78.
link(73, 89) :- #0.64.
link(73, 100) :- #0.74.
link(74, 5) :- #0.68.
link(74, 6) :- #0.3.
link(74, 20) :- #0.9.
link(74, 27) :- #0.42.
link(74, 45) :- #0.84.
link(74, 52) :- #0.88.
link(74, 81) :- #0.28.
link(74, 83) :- #0.56.
link(74, 107) :- #0.08.
link(74, 109) :- #0.16.
link(74, 122) :- #0.58.
link(74, 126) :- #0.94.
link(74, 129) :- #0.12.
link(74, 130) :- #0.96.
link(74, 131) :- #0.74.
link(74, 136) :- #0.2.
link(74, 139) :- #0.36.
link(74, 141) :- #0.08.
link(75, 13) :- #0.58.
link(75, 23) :- #0.4.
link(75, 32) :- #0.
link(75, 57) :- #0.6.
link(75, 89) :- #0.74.
link(75, 97) :- #0.5.
link(75, 101) :- #0.64.
link(75, 108) :- #0.26.
link(75, 110) :- #0.74.
link(75, 111) :- #0.46.
link(75, 118) :- #0.12.
link(75, 122) :- #0.42.
link(75, 142) :- #0.82.
link(76, 22) :- #0.98.
link(76, 27) :- #0.02.
link(76, 32) :- #0.74.
link(76, 58) :- #0.28.
link(76, 60) :- #0.2.
link(76, 67) :- #0.6.
link(76, 70) :- #0.8.
link(76, 89) :- #0.16.
link(76, 96) :- #0.56.
link(76, 102) :- #0.36.
link(77, 34) :- #0.7.
link(77, 36) :- #0.98.
link(77, 44) :- #0.54.
link(77, 57) :- #0.44.
link(77, 94) :- #0.84.
link(77, 99) :- #0.66.
link(77, 120) :- #0.3.
link(77, 133) :- #0.54.
link(78, 13) :- #0.26.
link(78, 14) :- #0.5.
link(78, 21) :- #0.9.
link(78, 22) :- #0.8.
link(78, 30) :- #0.26.
link(78, 40) :- #0.18.
link(78, 43) :- #0.72.
link(78, 46) :- #0.9.
link(78, 48) :- #0.7.
link(78, 52) :- #0.3.
link(78, 61) :- #0.36.
link(78, 104) :- #0.84.
link(78, 113) :- #0.72.
link(78, 124) :- #0.28.
link(78, 130) :- #0.9.
link(78, 136) :- #0.4.
link(78, 137) :- #0.32.
link(78, 144) :- #0.7.
link(78, 148) :- #0.6.
link(79, 4) :- #0.34.
link(79, 13) :- #0.36.
link(79, 48) :- #0.72.
link(79, 49) :- #0.26.
link(79, 65) :- #0.74.
link(79, 67) :- #0.72.
link(79, 86) :- #0.92.
link(79, 88) :- #0.2.
link(79, 95) :- #0.1.
link(79, 137) :- #0.52.
link(79, 138) :- #0.94.
link(79, 145) :- #0.82.
link(80, 19) :- #0.16.
link(80, 55) :- #0.04.
link(80, 59) :- #0.92.
link(80, 73) :- #0.78.
link(80, 82) :- #0.54.
link(80, 83) :- #0.82.
link(80, 110) :- #0.04.
link(80, 120) :- #0.5.
link(81, 5) :- #0.48.
link(81, 8) :- #0.3.
link(81, 15) :- #0.06.
link(81, 31) :- #0.68.
link(81, 37) :- #0.92.
link(81, 46) :- #0.6.
link(81, 47) :- #0.4.
link(81, 56) :- #0.62.
link(81, 63) :- #0.12.
link(81, 73) :- #0.38.
link(81, 74) :- #0.78.
link(81, 86) :- #0.26.
link(81, 107) :- #0.12.
link(81, 121) :- #0.18.
link(81, 133) :- #1.
link(81, 138) :- #0.52.
link(81, 141) :- #0.8.
link(81, 143) :- #0.44.
link(82, 4) :- #0.2.
link(82, 15) :- #0.46.
link(82, 16) :- #0.04.
link(82, 25) :- #0.78.
link(82, 27) :- #0.72.
link(82, 34) :- #0.3.
link(82, 39) :- #0.3.
link(82, 63) :- #0.52.
link(82, 71) :- #0.86.
link(82, 80) :- #0.38.
link(82, 117) :- #0.52.
link(82, 118) :- #0.34.
link(82, 122) :- #0.06.
link(82, 131) :- #0.64.
link(82, 133) :- #0.32.
link(82, 146) :- #0.06.
link(83, 5) :- #0.44.
link(83, 8) :- #0.04.
link(83, 16) :- #0.42.
link(83, 19) :- #0.24.
link(83, 20) :- #0.16.
link(83, 32) :- #0.52.
link(83, 44) :- #0.18.
link(83, 54) :- #0.76.
link(83, 55) :- #0.36.
link(83, 58) :- #0.12.
link(83, 66) :- #0.24.
link(83, 74) :- #0.14.
link(83, 80) :- #0.88.
link(83, 89) :- #0.96.
link(83, 97) :- #0.26.
link(83, 98) :- #0.26.
link(83, 105) :- #0.56.
link(83, 124) :- #0.12.
link(84, 8) :- #0.08.
link(84, 34) :- #0.84.
link(84, 44) :- #0.28.
link(84, 56) :- #0.2.
link(84, 60) :- #0.08.
link(84, 72) :- #0.78.
link(84, 85) :- #0.08.
link(84, 94) :- #0.06.
link(84, 99) :- #0.2.
link(84, 105) :- #0.66.
link(84, 109) :- #0.68.
link(84, 112) :- #0.16.
link(84, 122) :- #0.98.
link(84, 140) :- #0.32.
link(84, 150) :- #0.48.
link(85, 5) :- #0.76.
link(85, 7) :- #0.62.
link(85, 9) :- #0.9.
link(85, 23) :- #0.46.
link(85, 38) :- #0.98.
link(85, 67) :- #0.86.
link(85, 84) :- #0.92.
link(85, 113) :- #0.38.
link(85, 114) :- #0.1.
link(85, 119) :- #0.54.
link(85, 122) :- #0.42.
link(85, 127) :- #0.84.
link(86, 21) :- #0.46.
link(86, 42) :- #0.54.
link(86, 65) :- #0.28.
link(86, 71) :- #0.04.
link(86, 79) :- #0.04.
link(86, 81) :- #0.4.
link(86, 111) :- #0.5.
link(86, 113) :- #0.68.
link(86, 128) :- #0.64.
link(86, 131) :- #0.7.
link(86, 133) :- #0.38.
link(86, 145) :- #0.32.
link(87, 7) :- #0.44.
link(87, 8) :- #0.68.
link(87, 19) :- #0.6.
link(87, 24) :- #0.26.
link(87, 31) :- #0.8.
link(87, 67) :- #0.98.
link(87, 68) :- #0.36.
link(87, 88) :- #0.48.
link(87, 107) :- #0.48.
link(87, 111) :- #0.94.
link(87, 119) :- #0.06.
link(87, 139) :- #0.9.
link(87, 144) :- #0.38.
link(87, 148) :- #0.82.
link(88, 7) :- #0.14.
link(88, 20) :- #0.1.
link(88, 25) :- #0.34.
link(88, 26) :- #0.68.
link(88, 42) :- #0.18.
link(88, 53) :- #0.62.
link(88, 68) :- #0.9.
link(88, 79) :- #0.72.
link(88, 87) :- #0.9.
link(88, 92) :- #0.82.
link(88, 95) :- #0.54.
link(88, 115) :- #0.38.
link(88, 118) :- #0.7.
link(88, 142) :- #0.24.
link(88, 143) :- #0.2.
link(88, 146) :- #0.74.
link(89, 11) :- #0.18.
link(89, 29) :- #0.78.
link(89, 34) :- #0.18.
link(89, 37) :- #0.68.
link(89, 43) :- #0.28.
link(89, 46) :- #0.16.
link(89, 48) :- #0.52.
link(89, 50) :- #0.04.
link(89, 73) :- #0.14.
link(89, 75) :- #0.42.
link(89, 76) :- #0.56.
link(89, 83) :- #0.78.
link(89, 99) :- #0.76.
link(89, 104) :- #0.32.
link(89, 109) :- #0.26.
link(89, 122) :- #0.54.
link(89, 125) :- #0.24.
link(89, 150) :- #0.86.
link(90, 5) :- #0.3.
link(90, 6) :- #0.94.
link(90, 24) :- #0.28.
link(90, 28) :- #0.72.
link(90, 39) :- #0.26.
link(90, 43) :- #0.04.
link(90, 48) :- #0.6.
link(90, 63) :- #0.16.
link(90, 96) :- #0.18.
link(90, 98) :- #0.98.
link(90, 102) :- #0.48.
link(90, 103) :- #0.14.
link(90, 105) :- #0.48.
link(90, 113) :- #0.12.
link(90, 138) :- #0.54.
link(91, 9) :- #0.94.
link(91, 13) :- #0.8.
link(91, 23) :- #0.26.
link(91, 24) :- #0.16.
link(91, 42) :- #0.24.
link(91, 48) :- #0.5.
link(91, 55) :- #0.3.
link(91, 68) :- #0.3.
link(91, 72) :- #0.78.
link(91, 106) :- #0.2.
link(91, 113) :- #0.14.
link(91, 115) :- #0.46.
link(91, 118) :- #0.66.
link(91, 121) :- #0.2.
link(91, 125) :- #0.
link(91, 129) :- #0.14.
link(91, 144) :- #1.
link(92, 9) :- #0.18.
link(92, 10) :- #0.82.
link(92, 27) :- #0.56.
link(92, 31) :- #0.2.
link(92, 42) :- #0.88.
link(92, 45) :- #0.06.
link(92, 53) :- #0.34.
link(92, 68) :- #0.58.
link(92, 88) :- #0.02.
link(92, 103) :- #0.6.
link(92, 106) :- #0.9.
link(92, 110) :- #0.3.
link(92, 112) :- #0.12.
link(92, 150) :- #0.14.
link(93, 20) :- #0.14.
link(93, 35) :- #0.5.
link(93, 39) :- #0.78.
link(93, 48) :- #0.34.
link(93, 49) :- #0.46.
link(93, 51) :- #0.58.
link(93, 53) :- #0.86.
link(93, 59) :- #0.02.
link(93, 66) :- #0.18.
link(93, 96) :- #0.64.
link(93, 97) :- #0.98.
link(93, 103) :- #0.18.
link(93, 120) :- #0.32.
link(94, 3) :- #0.24.
link(94, 12) :- #0.32.
link(94, 18) :- #0.5.
link(94, 23) :- #0.6.
link(94, 30) :- #0.02.
link(94, 33) :- #0.94.
link(94, 54) :- #0.14.
link(94, 62) :- #0.18.
link(94, 68) :- #0.14.
link(94, 69) :- #0.74.
link(94, 77) :- #0.3.
link(94, 84) :- #0.54.
link(94, 105) :- #0.04.
link(94, 111) :- #0.62.
link(94, 120) :- #0.76.
link(94, 126) :- #0.94.
link(94, 141) :- #0.48.
link(94, 145) :- #0.38.
link(95, 2) :- #0.26.
link(95, 5) :- #0.94.
link(95, 13) :- #0.6.
link(95, 16) :- #0.48.
link(95, 21) :- #0.24.
link(95, 42) :- #0.46.
link(95, 57) :- #0.72.
link(95, 79) :- #0.46.
link(95, 88) :- #0.64.
link(95, 109) :- #0.08.
link(95, 111) :- #0.7.
link(95, 128) :- #0.2.
link(95, 134) :- #0.44.
link(95, 141) :- #0.62.
link(95, 143) :- #0.3.
link(95, 150) :- #0.5.
link(96, 11) :- #0.88.
link(96, 32) :- #0.28.
link(96, 43) :- #0.78.
link(96, 50) :- #0.1.
link(96, 70) :- #0.38.
link(96, 71) :- #0.94.
link(96, 76) :- #0.7.
link(96, 90) :- #0.86.
link(96, 93) :- #0.72.
link(96, 113) :- #0.06.
link(96, 139) :- #0.48.
link(96, 148) :- #0.34.
link(97, 2) :- #0.42.
link(97, 4) :- #0.94.
link(97, 27) :- #0.24.
link(97, 28) :- #0.48.
link(97, 31) :- #0.32.
link(97, 49) :- #0.88.
link(97, 54) :- #0.02.
link(97, 64) :- #0.44.
link(97, 68) :- #0.8.
link(97, 75) :- #0.3.
link(97, 83) :- #0.06.
link(97, 93) :- #0.26.
link(97, 100) :- #0.94.
link(97, 104) :- #0.26.
link(97, 105) :- #0.08.
link(97, 116) :- #0.18.
link(97, 120) :- #0.38.
link(97, 125) :- #0.94.
link(97, 140) :- #0.88.
link(98, 17) :- #0.3.
link(98, 28) :- #0.18.
link(98, 67) :- #0.48.
link(98, 69) :- #0.14.
link(98, 72) :- #0.88.
link(98, 83) :- #0.98.
link(98, 90) :- #0.26.
link(98, 142) :- #0.52.
link(98, 145) :- #0.74.
link(99, 2) :- #0.06.
link(99, 5) :- #0.6.
link(99, 12) :- #0.66.
link(99, 22) :- #0.28.
link(99, 25) :- #0.92.
link(99, 31) :- #0.76.
link(99, 44) :- #0.8.
link(99, 51) :- #0.9.
link(99, 63) :- #0.62.
link(99, 77) :- #0.42.
link(99, 84) :- #0.32.
link(99, 89) :- #0.18.
link(99, 104) :- #0.06.
link(99, 136) :- #0.66.
link(99, 147) :- #0.26.
link(100, 12) :- #0.46.
link(100, 19) :- #0.08.
link(100, 25) :- #0.26.
link(100, 29) :- #0.9.
link(100, 60) :- #0.72.
link(100, 65) :- #0.1.
link(100, 67) :- #0.76.
link(100, 73) :- #0.8.
link(100, 97) :- #0.4.
link(100, 105) :- #0.84.
link(100, 110) :- #1.
link(100, 119) :- #0.36.
link(100, 142) :- #0.86.
link(101, 4) :- #0.86.
link(101, 11) :- #0.92.
link(101, 26) :- #0.72.
link(101, 27) :- #0.52.
link(101, 30) :- #0.28.
link(101, 34) :- #0.66.
link(101, 37) :- #0.54.
link(101, 39) :- #0.96.
link(101, 40) :- #1.
link(101, 44) :- #0.46.
link(101, 61) :- #0.98.
link(101, 72) :- #0.16.
link(101, 75) :- #0.18.
link(101, 117) :- #0.24.
link(101, 131) :- #0.72.
link(101, 132) :- #0.28.
link(101, 147) :- #0.32.
link(102, 21) :- #0.5.
link(102, 29) :- #0.22.
link(102, 41) :- #0.6.
link(102, 59) :- #0.44.
link(102, 62) :- #0.4.
link(102, 66) :- #0.86.
link(102, 76) :- #0.54.
link(102, 90) :- #0.62.
link(102, 106) :- #0.72.
link(102, 111) :- #0.92.
link(102, 114) :- #0.66.
link(102, 125) :- #0.42.
link(102, 130) :- #0.34.
link(102, 142) :- #0.58.
link(102, 148) :- #0.68.
link(102, 149) :- #0.48.
link(103, 3) :- #0.08.
link(103, 21) :- #0.08.
link(103, 30) :- #0.2.
link(103, 31) :- #0.64.
link(103, 34) :- #0.16.
link(103, 35) :- #0.32.
link(103, 55) :- #0.86.
link(103, 63) :- #0.04.
link(103, 90) :- #0.9.
link(103, 92) :- #0.68.
link(103, 93) :- #0.16.
link(103, 104) :- #0.96.
link(103, 106) :- #0.22.
link(103, 110) :- #0.82.
link(103, 112) :- #0.14.
link(103, 119) :- #0.04.
link(103, 139) :- #0.4.
link(103, 147) :- #0.24.
link(104, 30) :- #0.3.
link(104, 35) :- #0.88.
link(104, 40) :- #0.26.
link(104, 52) :- #0.06.
link(104, 58) :- #0.02.
link(104, 63) :- #0.34.
link(104, 78) :- #0.42.
link(104, 89) :- #0.54.
link(104, 97) :- #0.06.
link(104, 99) :- #0.4.
link(104, 103) :- #0.86.
link(104, 128) :- #0.26.
link(104, 143) :- #0.1.
link(105, 10) :- #0.72.
link(105, 11) :- #0.22.
link(105, 13) :- #0.06.
link(105, 14) :- #0.48.
link(105, 15) :- #0.34.
link(105, 17) :- #0.62.
link(105, 26) :- #0.58.
link(105, 27) :- #0.66.
link(105, 31) :- #0.66.
link(105, 42) :- #0.38.
link(105, 59) :- #0.22.
link(105, 60) :- #0.08.
link(105, 63) :- #0.12.
link(105, 83) :- #0.58.
link(105, 84) :- #0.24.
link(105, 90) :- #0.84.
link(105, 94) :- #0.14.
link(105, 97) :- #0.96.
link(105, 100) :- #0.98.
link(105, 111) :- #0.28.
link(105, 124) :- #0.3.
link(105, 139) :- #0.96.
link(105, 141) :- #0.3.
link(106, 24) :- #0.38.
link(106, 35) :- #0.18.
link(106, 56) :- #0.38.
link(106, 69) :- #0.08.
link(106, 91) :- #0.62.
link(106, 92) :- #0.94.
link(106, 102) :- #0.22.
link(106, 103) :- #0.78.
link(106, 108) :- #0.08.
link(106, 117) :- #0.8.
link(106, 128) :- #0.58.
link(106, 129) :- #0.72.
link(106, 133) :- #0.9.
link(106, 135) :- #0.7.
link(106, 139) :- #0.4.
link(107, 6) :- #0.94.
link(107, 8) :- #0.44.
link(107, 11) :- #0.98.
link(107, 35) :- #0.02.
link(107, 47) :- #1.
link(107, 50) :- #0.54.
link(107, 61) :- #0.32.
link(107, 63) :- #0.06.
link(107, 74) :- #0.96.
link(107, 81) :- #0.78.
link(107, 87) :- #0.36.
link(107, 109) :- #0.94.
link(107, 122) :- #0.7.
link(107, 129) :- #0.78.
link(107, 131) :- #0.16.
link(108, 6) :- #0.88.
link(108, 18) :- #0.34.
link(108, 19) :- #0.1.
link(108, 31) :- #0.52.
link(108, 32) :- #0.38.
link(108, 51) :- #0.66.
link(108, 52) :- #0.36.
link(108, 70) :- #0.04.
link(108, 75) :- #0.24.
link(108, 106) :- #0.5.
link(108, 111) :- #0.32.
link(108, 112) :- #0.92.
link(108, 113) :- #0.3.
link(108, 120) :- #0.88.
link(108, 122) :- #0.58.
link(109, 16) :- #0.
link(109, 23) :- #0.9.
link(109, 35) :- #0.92.
link(109, 45) :- #0.92.
link(109, 74) :- #0.98.
link(109, 84) :- #0.96.
link(109, 89) :- #0.08.
link(109, 95) :- #0.92.
link(109, 107) :- #0.36.
link(109, 127) :- #0.96.
link(109, 140) :- #1.
link(109, 141) :- #0.14.
link(109, 149) :- #0.24.
link(110, 60) :- #0.96.
link(110, 63) :- #0.14.
link(110, 75) :- #0.46.
link(110, 80) :- #0.54.
link(110, 92) :- #0.3.
link(110, 100) :- #0.28.
link(110, 103) :- #0.18.
link(110, 115) :- #0.06.
link(110, 118) :- #0.
link(110, 128) :- #0.
link(110, 131) :- #0.16.
link(110, 132) :- #0.86.
link(110, 136) :- #0.9.
link(110, 142) :- #0.72.
link(110, 149) :- #0.8.
link(111, 15) :- #0.42.
link(111, 18) :- #0.88.
link(111, 22) :- #0.18.
link(111, 30) :- #0.86.
link(111, 32) :- #0.06.
link(111, 41) :- #0.04.
link(111, 48) :- #0.5.
link(111, 52) :- #0.26.
link(111, 62) :- #0.42.
link(111, 67) :- #0.24.
link(111, 70) :- #0.76.
link(111, 75) :- #0.66.
link(111, 86) :- #0.66.
link(111, 87) :- #0.64.
link(111, 94) :- #0.82.
link(111, 95) :- #0.22.
link(111, 102) :- #0.5.
link(111, 105) :- #0.82.
link(111, 108) :- #0.46.
link(111, 119) :- #0.34.
link(111, 143) :- #0.34.
link(112, 1) :- #0.88.
link(112, 11) :- #0.86.
link(112, 21) :- #0.72.
link(112, 22) :- #0.78.
link(112, 27) :- #0.1.
link(112, 38) :- #0.8.
link(112, 39) :- #0.06.
link(112, 65) :- #0.14.
link(112, 84) :- #0.46.
link(112, 92) :- #0.96.
link(112, 103) :- #0.84.
link(112, 108) :- #0.26.
link(112, 115) :- #0.2.
link(112, 122) :- #0.4.
link(112, 129) :- #0.44.
link(112, 144) :- #0.98.
link(113, 5) :- #0.8.
link(113, 16) :- #0.62.
link(113, 36) :- #0.14.
link(113, 42) :- #0.94.
link(113, 44) :- #0.54.
link(113, 45) :- #0.56.
link(113, 49) :- #0.32.
link(113, 67) :- #0.66.
link(113, 68) :- #0.58.
link(113, 78) :- #0.92.
link(113, 85) :- #0.44.
link(113, 86) :- #0.14.
link(113, 90) :- #0.56.
link(113, 91) :- #0.52.
link(113, 96) :- #0.16.
link(113, 108) :- #0.32.
link(113, 118) :- #0.2.
link(113, 124) :- #0.66.
link(113, 135) :- #0.24.
link(113, 138) :- #0.9.
link(113, 145) :- #0.08.
link(114, 29) :- #0.04.
link(114, 31) :- #0.7.
link(114, 44) :- #0.38.
link(114, 48) :- #0.86.
link(114, 85) :- #0.26.
link(114, 102) :- #0.84.
link(114, 123) :- #0.36.
link(114, 144) :- #0.82.
link(115, 3) :- #0.4.
link(115, 37) :- #0.56.
link(115, 39) :- #0.6.
link(115, 49) :- #0.98.
link(115, 50) :- #0.16.
link(115, 51) :- #0.6.
link(115, 64) :- #0.72.
link(115, 88) :- #0.6.
link(115, 91) :- #0.5.
link(115, 110) :- #0.72.
link(115, 112) :- #0.74.
link(115, 119) :- #0.96.
link(115, 129) :- #0.62.
link(115, 132) :- #0.26.
link(115, 134) :- #1.
link(115, 137) :- #0.16.
link(115, 148) :- #0.9.
link(116, 4) :- #0.08.
link(116, 5) :- #0.06.
link(116, 8) :- #0.08.
link(116, 10) :- #0.96.
link(116, 23) :- #0.96.
link(116, 26) :- #0.42.
link(116, 33) :- #0.02.
link(116, 43) :- #0.98.
link(116, 47) :- #0.3.
link(116, 50) :- #0.4.
link(116, 64) :- #0.82.
link(116, 97) :- #0.18.
link(116, 117) :- #0.9.
link(116, 118) :- #0.64.
link(116, 125) :- #0.42.
link(116, 143) :- #0.1.
link(117, 15) :- #0.04.
link(117, 44) :- #0.98.
link(117, 57) :- #0.28.
link(117, 64) :- #0.26.
link(117, 72) :- #0.06.
link(117, 82) :- #0.96.
link(117, 101) :- #0.66.
link(117, 106) :- #0.18.
link(117, 116) :- #0.74.
link(117, 118) :- #0.54.
link(117, 134) :- #0.24.
link(117, 143) :- #0.4.
link(118, 9) :- #0.58.
link(118, 11) :- #0.24.
link(118, 17) :- #0.42.
link(118, 18) :- #0.4.
link(118, 31) :- #0.92.
link(118, 49) :- #0.5.
link(118, 53) :- #0.48.
link(118, 58) :- #0.24.
link(118, 61) :- #0.64.
link(118, 72) :- #0.28.
link(118, 75) :- #0.34.
link(118, 82) :- #0.22.
link(118, 88) :- #0.76.
link(118, 91) :- #0.1.
link(118, 110) :- #0.92.
link(118, 113) :- #0.8.
link(118, 116) :- #0.3.
link(118, 117) :- #0.2.
link(118, 122) :- #0.08.
link(118, 138) :- #0.7.
link(118, 147) :- #0.04.
link(118, 148) :- #0.52.
link(119, 9) :- #0.48.
link(119, 28) :- #0.22.
link(119, 35) :- #0.22.
link(119, 42) :- #0.02.
link(119, 63) :- #0.74.
link(119, 66) :- #0.02.
link(119, 69) :- #0.54.
link(119, 70) :- #0.76.
link(119, 72) :- #0.26.
link(119, 85) :- #0.22.
link(119, 87) :- #0.32.
link(119, 100) :- #0.66.
link(119, 103) :- #0.02.
link(119, 111) :- #0.62.
link(119, 115) :- #0.02.
link(119, 132) :- #0.36.
link(119, 135) :- #0.46.
link(120, 15) :- #0.24.
link(120, 16) :- #0.02.
link(120, 26) :- #0.12.
link(120, 37) :- #0.66.
link(120, 45) :- #0.44.
link(120, 46) :- #0.02.
link(120, 61) :- #0.52.
link(120, 63) :- #0.98.
link(120, 65) :- #0.54.
link(120, 77) :- #0.6.
link(120, 80) :- #0.28.
link(120, 93) :- #0.36.
link(120, 94) :- #0.14.
link(120, 97) :- #0.2.
link(120, 108) :- #0.94.
link(120, 121) :- #0.12.
link(120, 122) :- #0.7.
link(120, 127) :- #0.92.
link(120, 130) :- #0.2.
link(121, 2) :- #0.3.
link(121, 45) :- #0.4.
link(121, 57) :- #0.48.
link(121, 61) :- #0.98.
link(121, 66) :- #0.6.
link(121, 69) :- #0.14.
link(121, 81) :- #0.92.
link(121, 91) :- #0.92.
link(121, 120) :- #0.7.
link(121, 125) :- #0.5.
link(121, 134) :- #0.8.
link(122, 4) :- #0.62.
link(122, 8) :- #0.56.
link(122, 12) :- #0.56.
link(122, 20) :- #0.64.
link(122, 30) :- #0.22.
link(122, 46) :- #0.12.
link(122, 55) :- #0.38.
link(122, 56) :- #0.12.
link(122, 60) :- #0.44.
link(122, 74) :- #0.86.
link(122, 75) :- #0.52.
link(122, 82) :- #0.16.
link(122, 84) :- #0.02.
link(122, 85) :- #0.36.
link(122, 89) :- #0.86.
link(122, 107) :- #0.82.
link(122, 108) :- #0.36.
link(122, 112) :- #0.32.
link(122, 118) :- #0.68.
link(122, 120) :- #0.82.
link(122, 132) :- #0.1.
link(123, 5) :- #0.34.
link(123, 6) :- #0.66.
link(123, 7) :- #0.58.
link(123, 29) :- #0.98.
link(123, 31) :- #0.42.
link(123, 37) :- #0.68.
link(123, 42) :- #0.54.
link(123, 53) :- #0.18.
link(123, 64) :- #0.78.
link(123, 65) :- #0.58.
link(123, 114) :- #0.96.
link(123, 125) :- #0.26.
link(123, 128) :- #0.6.
link(123, 132) :- #0.54.
link(123, 137) :- #0.72.
link(124, 1) :- #0.62.
link(124, 7) :- #0.7.
link(124, 20) :- #0.12.
link(124, 34) :- #0.24.
link(124, 53) :- #0.36.
link(124, 72) :- #0.62.
link(124, 78) :- #0.16.
link(124, 83) :- #0.08.
link(124, 105) :- #0.42.
link(124, 113) :- #0.7.
link(124, 125) :- #0.5.
link(124, 139) :- #0.32.
link(125, 5) :- #0.92.
link(125, 15) :- #0.92.
link(125, 20) :- #0.8.
link(125, 25) :- #0.16.
link(125, 26) :- #0.66.
link(125, 34) :- #0.7.
link(125, 48) :- #0.18.
link(125, 55) :- #0.8.
link(125, 89) :- #0.12.
link(125, 91) :- #0.3.
link(125, 97) :- #0.3.
link(125, 102) :- #0.44.
link(125, 116) :- #0.44.
link(125, 121) :- #0.72.
link(125, 123) :- #0.52.
link(125, 124) :- #0.44.
link(125, 129) :- #0.02.
link(125, 139) :- #0.26.
link(125, 142) :- #0.98.
link(126, 4) :- #0.44.
link(126, 18) :- #0.52.
link(126, 21) :- #0.9.
link(126, 36) :- #0.38.
link(126, 46) :- #0.54.
link(126, 50) :- #0.64.
link(126, 56) :- #0.98.
link(126, 60) :- #0.18.
link(126, 65) :- #0.78.
link(126, 69) :- #0.1.
link(126, 71) :- #0.72.
link(126, 74) :- #0.46.
link(126, 94) :- #0.86.
link(126, 130) :- #0.4.
link(126, 145) :- #1.
link(126, 149) :- #0.84.
link(127, 11) :- #0.62.
link(127, 22) :- #0.88.
link(127, 36) :- #0.12.
link(127, 45) :- #0.86.
link(127, 57) :- #0.96.
link(127, 62) :- #0.78.
link(127, 65) :- #0.66.
link(127, 68) :- #0.38.
link(127, 85) :- #0.2.
link(127, 109) :- #0.4.
link(127, 120) :- #0.
link(127, 133) :- #0.34.
link(127, 145) :- #0.38.
link(128, 9) :- #0.34.
link(128, 13) :- #0.8.
link(128, 18) :- #0.48.
link(128, 21) :- #0.44.
link(128, 25) :- #0.86.
link(128, 37) :- #0.96.
link(128, 42) :- #0.48.
link(128, 58) :- #0.3.
link(128, 86) :- #0.06.
link(128, 95) :- #0.3.
link(128, 104) :- #0.62.
link(128, 106) :- #0.04.
link(128, 110) :- #0.22.
link(128, 123) :- #0.22.
link(128, 130) :- #0.76.
link(128, 148) :- #0.32.
link(129, 8) :- #0.24.
link(129, 19) :- #0.14.
link(129, 35) :- #0.24.
link(129, 36) :- #0.14.
link(129, 46) :- #0.34.
link(129, 47) :- #0.6.
link(129, 74) :- #0.2.
link(129, 91) :- #0.8.
link(129, 106) :- #0.92.
link(129, 107) :- #0.92.
link(129, 112) :- #0.6.
link(129, 115) :- #0.26.
link(129, 125) :- #0.84.
link(129, 147) :- #0.08.
link(129, 149) :- #0.06.
link(130, 12) :- #0.38.
link(130, 13) :- #0.88.
link(130, 23) :- #0.24.
link(130, 31) :- #0.9.
link(130, 37) :- #0.02.
link(130, 39) :- #0.28.
link(130, 43) :- #0.5.
link(130, 47) :- #0.92.
link(130, 63) :- #0.62.
link(130, 74) :- #0.96.
link(130, 78) :- #0.88.
link(130, 102) :- #0.74.
link(130, 120) :- #0.82.
link(130, 126) :- #0.68.
link(130, 128) :- #0.86.
link(130, 132) :- #0.44.
link(130, 135) :- #0.88.
link(130, 138) :- #0.24.
link(130, 144) :- #0.64.
link(130, 148) :- #0.14.
link(131, 5) :- #0.42.
link(131, 27) :- #0.28.
link(131, 41) :- #0.44.
link(131, 44) :- #0.7.
link(131, 47) :- #0.38.
link(131, 48) :- #1.
link(131, 53) :- #0.38.
link(131, 57) :- #0.06.
link(131, 60) :- #0.88.
link(131, 74) :- #0.6.
link(131, 82) :- #0.9.
link(131, 86) :- #0.68.
link(131, 101) :- #0.4.
link(131, 107) :- #0.42.
link(131, 110) :- #0.72.
link(131, 132) :- #0.02.
link(131, 135) :- #0.02.
link(131, 146) :- #0.88.
link(131, 149) :- #0.04.
link(132, 11) :- #0.58.
link(132, 13) :- #0.96.
link(132, 38) :- #0.58.
link(132, 45) :- #0.16.
link(132, 57) :- #0.48.
link(132, 101) :- #0.18.
link(132, 110) :- #0.8.
link(132, 115) :- #0.14.
link(132, 119) :- #0.72.
link(132, 122) :- #0.64.
link(132, 123) :- #0.18.
link(132, 130) :- #0.96.
link(132, 131) :- #0.24.
link(132, 134) :- #0.56.
link(132, 141) :- #0.88.
link(133, 6) :- #0.42.
link(133, 9) :- #0.48.
link(133, 12) :- #0.92.
link(133, 25) :- #0.06.
link(133, 26) :- #0.24.
link(133, 35) :- #0.36.
link(133, 36) :- #0.76.
link(133, 43) :- #0.38.
link(133, 58) :- #0.12.
link(133, 62) :- #0.08.
link(133, 64) :- #0.28.
link(133, 71) :- #0.22.
link(133, 77) :- #0.58.
link(133, 81) :- #0.78.
link(133, 82) :- #0.42.
link(133, 86) :- #0.08.
link(133, 106) :- #0.48.
link(133, 127) :- #0.22.
link(133, 144) :- #0.5.
link(133, 145) :- #0.98.
link(134, 20) :- #0.48.
link(134, 22) :- #0.04.
link(134, 23) :- #0.5.
link(134, 32) :- #0.7.
link(134, 51) :- #0.1.
link(134, 60) :- #0.64.
link(134, 95) :- #0.62.
link(134, 115) :- #0.3.
link(134, 117) :- #0.88.
link(134, 121) :- #0.9.
link(134, 132) :- #0.54.
link(135, 6) :- #0.7.
link(135, 12) :- #0.58.
link(135, 19) :- #0.72.
link(135, 39) :- #0.16.
link(135, 46) :- #0.82.
link(135, 51) :- #0.52.
link(135, 67) :- #0.68.
link(135, 72) :- #0.54.
link(135, 106) :- #0.16.
link(135, 113) :- #0.96.
link(135, 119) :- #0.04.
link(135, 130) :- #0.8.
link(135, 131) :- #0.68.
link(135, 138) :- #0.44.
link(135, 145) :- #0.2.
link(136, 22) :- #0.62.
link(136, 31) :- #0.74.
link(136, 39) :- #0.02.
link(136, 74) :- #0.
link(136, 78) :- #0.3.
link(136, 99) :- #0.52.
link(136, 110) :- #0.06.
link(137, 4) :- #0.02.
link(137, 10) :- #0.44.
link(137, 24) :- #0.44.
link(137, 39) :- #0.86.
link(137, 59) :- #0.24.
link(137, 60) :- #0.12.
link(137, 61) :- #0.5.
link(137, 78) :- #0.26.
link(137, 79) :- #0.22.
link(137, 115) :- #0.62.
link(137, 123) :- #0.98.
link(138, 2) :- #0.56.
link(138, 6) :- #0.36.
link(138, 8) :- #0.62.
link(138, 24) :- #0.4.
link(138, 26) :- #0.54.
link(138, 30) :- #0.86.
link(138, 33) :- #0.04.
link(138, 35) :- #0.46.
link(138, 44) :- #0.8.
link(138, 55) :- #0.78.
link(138, 61) :- #0.9.
link(138, 79) :- #0.62.
link(138, 81) :- #0.42.
link(138, 90) :- #0.68.
link(138, 113) :- #0.44.
link(138, 118) :- #0.88.
link(138, 130) :- #0.44.
link(138, 135) :- #0.64.
link(139, 8) :- #0.72.
link(139, 16) :- #0.1.
link(139, 49) :- #0.08.
link(139, 74) :- #0.74.
link(139, 87) :- #0.64.
link(139, 96) :- #0.96.
link(139, 103) :- #0.6.
link(139, 105) :- #0.
link(139, 106) :- #1.
link(139, 124) :- #0.84.
link(139, 125) :- #0.9.
link(140, 3) :- #0.42.
link(140, 43) :- #0.82.
link(140, 49) :- #0.74.
link(140, 51) :- #0.76.
link(140, 63) :- #0.78.
link(140, 68) :- #0.62.
link(140, 84) :- #0.62.
link(140, 97) :- #0.82.
link(140, 109) :- #0.4.
link(141, 25) :- #0.64.
link(141, 40) :- #0.32.
link(141, 45) :- #0.58.
link(141, 48) :- #0.96.
link(141, 55) :- #0.5.
link(141, 58) :- #0.54.
link(141, 59) :- #0.42.
link(141, 63) :- #0.28.
link(141, 74) :- #0.68.
link(141, 81) :- #0.5.
link(141, 94) :- #0.44.
link(141, 95) :- #0.64.
link(141, 105) :- #0.1.
link(141, 109) :- #0.72.
link(141, 132) :- #0.72.
link(141, 145) :- #0.72.
link(142, 2) :- #0.92.
link(142, 6) :- #0.9.
link(142, 9) :- #0.08.
link(142, 11) :- #0.7.
link(142, 25) :- #0.18.
link(142, 27) :- #0.98.
link(142, 33) :- #0.82.
link(142, 43) :- #0.16.
link(142, 48) :- #0.02.
link(142, 58) :- #0.04.
link(142, 63) :- #0.26.
link(142, 70) :- #0.32.
link(142, 75) :- #0.78.
link(142, 88) :- #0.14.
link(142, 98) :- #0.64.
link(142, 100) :- #0.52.
link(142, 102) :- #0.48.
link(142, 110) :- #0.5.
link(142, 125) :- #0.34.
link(142, 148) :- #0.74.
link(142, 150) :- #0.98.
link(143, 10) :- #0.66.
link(143, 19) :- #0.1.
link(143, 34) :- #0.76.
link(143, 38) :- #0.38.
link(143, 42) :- #0.4.
link(143, 49) :- #0.46.
link(143, 52) :- #0.26.
link(143, 53) :- #0.8.
link(143, 59) :- #0.72.
link(143, 66) :- #0.38.
link(143, 67) :- #0.38.
link(143, 81) :- #0.34.
link(143, 88) :- #0.1.
link(143, 95) :- #0.54.
link(143, 104) :- #0.72.
link(143, 111) :- #0.86.
link(143, 116) :- #0.76.
link(143, 117) :- #0.68.
link(144, 12) :- #0.98.
link(144, 43) :- #0.34.
link(144, 67) :- #0.42.
link(144, 78) :- #0.16.
link(144, 87) :- #0.4.
link(144, 91) :- #0.22.
link(144, 112) :- #0.78.
link(144, 114) :- #0.18.
link(144, 130) :- #0.08.
link(144, 133) :- #0.94.
link(144, 147) :- #0.14.
link(145, 31) :- #0.1.
link(145, 52) :- #0.44.
link(145, 68) :- #0.68.
link(145, 70) :- #0.66.
link(145, 79) :- #0.3.
link(145, 86) :- #0.92.
link(145, 94) :- #0.34.
link(145, 98) :- #0.52.
link(145, 113) :- #0.18.
link(145, 126) :- #0.98.
link(145, 127) :- #0.32.
link(145, 133) :- #0.62.
link(145, 135) :- #0.88.
link(145, 141) :- #0.6.
link(146, 2) :- #0.32.
link(146, 3) :- #0.8.
link(146, 7) :- #0.92.
link(146, 10) :- #0.8.
link(146, 25) :- #0.68.
link(146, 45) :- #0.94.
link(146, 52) :- #0.52.
link(146, 55) :- #0.14.
link(146, 66) :- #0.8.
link(146, 71) :- #0.34.
link(146, 82) :- #0.38.
link(146, 88) :- #0.74.
link(146, 131) :- #0.7.
link(147, 10) :- #0.38.
link(147, 12) :- #0.2.
link(147, 13) :- #0.4.
link(147, 21) :- #0.64.
link(147, 24) :- #0.6.
link(147, 42) :- #0.08.
link(147, 43) :- #0.18.
link(147, 45) :- #0.68.
link(147, 68) :- #0.02.
link(147, 99) :- #0.98.
link(147, 101) :- #0.42.
link(147, 103) :- #0.66.
link(147, 118) :- #0.08.
link(147, 129) :- #0.62.
link(147, 144) :- #0.52.
link(147, 148) :- #0.92.
link(148, 15) :- #0.2.
link(148, 24) :- #0.36.
link(148, 32) :- #0.96.
link(148, 34) :- #0.92.
link(148, 59) :- #0.02.
link(148, 64) :- #0.22.
link(148, 67) :- #0.04.
link(148, 68) :- #0.62.
link(148, 71) :- #0.3.
link(148, 78) :- #0.94.
link(148, 87) :- #0.84.
link(148, 96) :- #0.24.
link(148, 102) :- #0.26.
link(148, 115) :- #0.02.
link(148, 118) :- #0.3.
link(148, 128) :- #0.44.
link(148, 130) :- #0.6.
link(148, 142) :- #0.4.
link(148, 147) :- #0.9.
link(149, 33) :- #0.56.
link(149, 46) :- #0.64.
link(149, 47) :- #0.22.
link(149, 50) :- #0.96.
link(149, 54) :- #1.
link(149, 62) :- #0.92.
link(149, 68) :- #0.68.
link(149, 72) :- #0.7.
link(149, 102) :- #0.36.
link(149, 109) :- #0.58.
link(149, 110) :- #0.34.
link(149, 126) :- #0.58.
link(149, 129) :- #0.02.
link(149, 131) :- #0.26.
link(150, 1) :- #0.7.
link(150, 17) :- #0.08.
link(150, 20) :- #0.56.
link(150, 29) :- #0.96.
link(150, 30) :- #0.02.
link(150, 44) :- #0.46.
link(150, 45) :- #0.72.
link(150, 49) :- #0.36.
link(150, 68) :- #0.16.
link(150, 84) :- #0.68.
link(150, 89) :- #0.42.
link(150, 92) :- #0.72.
link(150, 95) :- #0.26.
link(150, 142) :- #0.88.
node(1) :- #1.
node(2) :- #1.
node(3) :- #1.
node(4) :- #1.
node(5) :- #1.
node(6) :- #1.
node(7) :- #1.
node(8) :- #1.
node(9) :- #1.
node(10) :- #1.
node(11) :- #1.
node(12) :- #1.
node(13) :- #1.
node(14) :- #1.
node(15) :- #1.
node(16) :- #1.
node(17) :- #1.
node(18) :- #1.
node(19) :- #1.
node(20) :- #1.
node(21) :- #1.
node(22) :- #1.
node(23) :- #1.
node(24) :- #1.
node(25) :- #1.
node(26) :- #1.
node(27) :- #1.
node(28) :- #1.
node(29) :- #1.
node(30) :- #1.
node(31) :- #1.
node(32) :- #1.
node(33) :- #1.
node(34) :- #1.
node(35) :- #1.
node(36) :- #1.
node(37) :- #1.
node(38) :- #1.
node(39) :- #1.
node(40) :- #1.
node(41) :- #1.
node(42) :- #1.
node(43) :- #1.
node(44) :- #1.
node(45) :- #1.
node(46) :- #1.
node(47) :- #1.
node(48) :- #1.
node(49) :- #1.
node(50) :- #1.
node(51) :- #1.
node(52) :- #1.
node(53) :- #1.
node(54) :- #1.
node(55) :- #1.
node(56) :- #1.
node(57) :- #1.
node(58) :- #1.
node(59) :- #1.
node(60) :- #1.
node(61) :- #1.
node(62) :- #1.
node(63) :- #1.
node(64) :- #1.
node(65) :- #1.
node(66) :- #1.
node(67) :- #1.
node(68) :- #1.
node(69) :- #1.
node(70) :- #1.
node(71) :- #1.
node(72) :- #1.
node(73) :- #1.
node(74) :- #1.
node(75) :- #1.
node(76) :- #1.
node(77) :- #1.
node(78) :- #1.
node(79) :- #1.
node(80) :- #1.
node(81) :- #1.
node(82) :- #1.
node(83) :- #1.
node(84) :- #1.
node(85) :- #1.
node(86) :- #1.
node(87) :- #1.
node(88) :- #1.
node(89) :- #1.
node(90) :- #1.
node(91) :- #1.
node(92) :- #1.
node(93) :- #1.
node(94) :- #1.
node(95) :- #1.
node(96) :- #1.
node(97) :- #1.
node(98) :- #1.
node(99) :- #1.
node(100) :- #1.
node(101) :- #1.
node(102) :- #1.
node(103) :- #1.
node(104) :- #1.
node(105) :- #1.
node(106) :- #1.
node(107) :- #1.
node(108) :- #1.
node(109) :- #1.
node(110) :- #1.
node(111) :- #1.
node(112) :- #1.
node(113) :- #1.
node(114) :- #1.
node(115) :- #1.
node(116) :- #1.
node(117) :- #1.
node(118) :- #1.
node(119) :- #1.
node(120) :- #1.
node(121) :- #1.
node(122) :- #1.
node(123) :- #1.
node(124) :- #1.
node(125) :- #1.
node(126) :- #1.
node(127) :- #1.
node(128) :- #1.
node(129) :- #1.
node(130) :- #1.
node(131) :- #1.
node(132) :- #1.
node(133) :- #1.
node(134) :- #1.
node(135) :- #1.
node(136) :- #1.
node(137) :- #1.
node(138) :- #1.
node(139) :- #1.
node(140) :- #1.
node(141) :- #1.
node(142) :- #1.
node(143) :- #1.
node(144) :- #1.
node(145) :- #1.
node(146) :- #1.
node(147) :- #1.
node(148) :- #1.
node(149) :- #1.
node(150) :- #1.

